منابع مشابه
Design of and Comparison with Verification and Validation Benchmarks
Verification and validation (V&V) are the primary means to assess accuracy and reliability of computational simulations. V&V methods and procedures have fundamentally improved the credibility of simulations in several high-consequence application areas, such as, nuclear reactor safety, underground storage of nuclear waste, and safety of nuclear weapons. Although the terminology is not uniform a...
متن کاملBenchmarks for Hybrid Systems Verification
There are numerous application examples for hybrid systems verification in recent literature. Most of them were introduced to illustrate a new approach to hybrid systems verification, and are therefore of a limited size. Others are case studies that serve to prove that an approach can be applied to real world problems. Verification of these typically requires a lot of domain experience to obtai...
متن کاملEvaluating Software Verification Systems: Benchmarks and Competitions
This report documents the program and the outcomes of Dagstuhl Seminar 14171 “Evaluating Software Verification Systems: Benchmarks and Competitions”. The seminar brought together a large group of current and future competition organizers and participants, benchmark maintainers, as well as practitioners and researchers interested in the topic. The seminar was conducted as a highly interactive ev...
متن کاملDafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verified Software Initiative. This paper presents solutions to these eight benchmarks using the language and verifier Dafny. A Dafny program includes specifications, code, inductive invariants, and termination metrics. Eac...
متن کاملVerification and Validation
This chapter considers the influences and challenges to Verification and Validation of SHM systems. The chapter first considers V&V practices as seen in commercial aircraft avionics, and then goes on to consider the special challenges that arise when pursuing V&V of SHM systems utilized in NASA spacecraft. The chapter concludes by considering the V&V planned for a new ground-based SHM system th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Engineering and Design
سال: 2008
ISSN: 0029-5493
DOI: 10.1016/j.nucengdes.2007.02.032